
uint32 device_type